A complete and countable orthomodular lattice is atomic
نویسندگان
چکیده
منابع مشابه
Implications, coimplications and left semi-uninorms on a complete lattice
In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...
متن کاملOn the Lattice of Orthomodular Logics
The upper part of the lattice of orthomodular logics is described. In [1] and [2] Bruns and Kalmbach have described the lower part of the lattice of varieties of orthomodular lattices. They proved that any variety of orthomodular lattices essentially larger than variety generated by a contains at least one of lattices b, c, d, e. (By a, b, c, d, e, f , g we denote the lattice depicted in respec...
متن کاملimplications, coimplications and left semi-uninorms on a complete lattice
in this paper, we firstly show that the $n$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $n$-dual operation. as a dual result, the $n$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...
متن کاملArchimedean Atomic Lattice Effect Algebras with Complete Lattice of Sharp Elements
We study Archimedean atomic lattice effect algebras whose set of sharp elements is a complete lattice. We show properties of centers, compatibility centers and central atoms of such lattice effect algebras. Moreover, we prove that if such effect algebra E is separable and modular then there exists a faithful state on E. Further, if an atomic lattice effect algebra is densely embeddable into a c...
متن کاملEvery Finite Group Is the Automorphism Group of Some Finite Orthomodular Lattice
If L is a lattice, the automorphism group of L is denoted Aut(L). It is known that given a finite abstract group H, there exists a finite distributive lattice D such that Aut(D) £= H. It is also known that one cannot expect to find a finite orthocomplemented distributive (Boolean) lattice B such that Aut(B) s= H. In this paper it is shown that there does exist a finite orthomodular lattice L su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1969
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1969-0236076-7